1. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده : / Annabelle McIver, Carroll Morgan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع :
رده :
E-BOOK
2. Formal Methods, Foundations and Applications
پدیدآورنده : / Adenilso Simao, Carroll Morgan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
4. On the Refinement Calculus
پدیدآورنده : edited by Carroll Morgan, Trevor Vickers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
5. On the refinement calculus
پدیدآورنده : edited by carroll morgan and trevor vickers
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Calculus
رده :
QA
76
.
6
.
O5
1992
6. Programming from specifications
پدیدآورنده : Morgan, Carroll
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M668
1994
7. Programming from specifications
پدیدآورنده : Carroll Morgan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
8. Programming from specifications
پدیدآورنده : MORGAN,CARROLL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
M668
1990
9. Programming from specifications
پدیدآورنده : Morgan, Carroll
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
6
.
M668
1994
10. Programming methodology
پدیدآورنده : Annabelle McIver, Carroll Morgan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming
رده :
QA
76
.
6
.
P72
11. 30, 2011, Revised Selected Papers-o Paulo, Brazil, September 26ذFormal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, S
پدیدآورنده : / we (auth.), Adenilso Simao, Carroll Morgan (eds.)نnig, Michael LنHarald K
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
